Added the FPU_SUPPORT_FXSR option in cos_config

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