Vendor Information for VU#973654

Linux kernel fails to properly handle floating point signals generated by "fsave" and "frstor"