Ah, that was it. I was building the Debug configuration and no optimizations are specified.
Using a Release configuration and reverting to
.big_mem: load >> DDR3
in my .cmd file did the trick: I no longer get those trampolines generated. Thanks a lot.