Build va_list in a ARM64 compatible way