[PATCH 6.1 129/215] x86/efistub: Branch straight to kernel entry point from C code