So Intel's IWMMXT extensions to ARM (StrongARM) ended up having conflicting encodings with VFP, IIUC, making them mutually exclusive. While that's fine for one or the other, it complicates one binary targeting both (ie. the Linux kernel).