Move VMIN setting for acpuclock to Kconfig
/Documentation/pti
-rw-r--r-- pti_intel_mid.txt