powerpc: Make ppc32 respect the boot cpu id for !CONFIG_SMP