# CONFIG_PPC_CELL is not set