x86, smp: clean up ->trampoline_phys_low/high handling