[PATCH 1/3] include: Fix vararg standard call types for ARM