Change Details

This is especially important for the counters allocation because EARLY_COUNTER does not work after temp_bsp_pcpu is switched from.