[ARM] 3473/1: Use numbers 0-15 for the VFP double registers