bunch of auto-formatting updates
hotreboot fixed