Booting the kernel works, but by manually specifying the address.