# CONFIG_X86_P4_CLOCKMOD is not set
