Added the FPU_SUPPORT_FXSR option in cos_config. We verify the config
during initialization.