Simple x86 kernel