x86, 64bit, realmode: Use init_level4_pgt to set trampoline_pgd directly