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