# CONFIG_PPC_EARLY_DEBUG is not set