In CONFIG_SMP=y, use arm_intstack_top() instead of g_intstacktop to get the base address of interrupt stack.