# CONFIG_SERIAL_SPRD is not set