ARM: check for VFP register arguments