#undef CONFIG_X86_SUMMIT