So far the 2nd core wakes up, makes its way to the idle loop, and things lock up when we start the timer interrupt.