# CONFIG_PPC_ISERIES is not set
