Basic bootable kernel from osdev wiki