Move VMIN setting for acpuclock to Kconfig
/arch/ia64/include
drwxr-xr-x asm