Fix codegen of trampoline wrappers to no-return functions