Fix the broken encodings for the VFP vmov.f32 and vmov.f64 instructions, as well...