# CONFIG_PPC_CELLEB is not set
