On ARM EABI, 64-bit function parameters must be aligned to an even/odd register pair. The weird way these stubs were written (using separate lo/hi parameters) prevented this alignment from being enforced by the compiler.