And the kernel works again, at least in Bochs