ia32_x87: remove the distinction between vfp and fp concepts