[PATCH] ARM SMP: reallocate main IRQ handler code registers