RCPM_CTBENR
bus_write_4(sc->sc_mem, RCPM_CTBENR, 0);
bus_write_4(sc->sc_mem, RCPM_CTBENR, (1 << maxcpu) - 1);