# CONFIG_PPC_PASEMI is not set