# CONFIG_SERIAL_PXA is not set