# CONFIG_SERIAL_SIFIVE is not set