A simple boot sector and kernel for an x86 system