# CONFIG_NET_VENDOR_MICROCHIP is not set