x86/mm: simplify init_trampoline() and surrounding logic