AArch64_be varargs processing for ARM ABI