# CONFIG_PPC_PMAC is not set