x87: X87FNSAVE does not initialize fpu
It should set FCW, FSW, FTW to their default values