Is a CPU1 stack pointer the same as CPU0 stack pointer?