A bit of cleanup in lm32 cpu_switchto(9)