powerpc/32s: fix booting with CONFIG_PPC_EARLY_DEBUG_BOOTX