Move VMIN setting for acpuclock to Kconfig
/include/xen/swiotlb-xen.h
2012-11-21 Ziggy Initial SPH-L710 JB Source