# CONFIG_PPC_PMAC64 is not set