Moved kernel to 0x10000 !