Move VMIN setting for acpuclock to Kconfig
/kernel/sched_rt.c
2013-01-09 Chad Goodman SCHEDULER: minor updates from CAF
2012-11-21 Ziggy Initial SPH-L710 JB Source