x86: adapt voyager's setup_trampoline