CONFIG_X86_P4_CLOCKMOD=m