Small, bootable kernel created