# CONFIG_NET_VENDOR_STMICRO is not set