formatting text mako_hotplug.c
again, only 1 core touchboost with 1GHz, but 2 cores will go online