Halt now poweroffs, and a stylistic change to sv.c