restore max/min to cores 1-3 correctly
add auto hotplug
fix up selinux defconfig
Merge remote-tracking branch 'buck/jb43-OC' into dd43