d2d7a54f69b6 ("x86/efistub: Branch straight to kernel entry point from C code")