A simple x86 kernel