Turns out GCC needs the stack to be addressable through load/store for varargs support.