per Jonathan's request. Remove switch_exit() declaration - it's now called via the locore jump vector.