Add a post encoder method to the VFP instructions to convert them to the Thumb2