# CONFIG_RTS5139 is not set
