Redesign of the Linux Kernel in Service-oriented Architecture (SOA)