On real hardware, kernel text is loaded 0x14 bytes off