SMP stacks and initial INT handling