# CONFIG_ARCH_PXA is not set