Symbol: FPU_SAVE_FXSAVE