Kernel image is mapped at offset 0x2000 on 64bit