target/arm: Allow users to set the number of VFP registers