Kernel boot still works on Bochs for Windows