Simple kernel for the x86 architecture.