# CONFIG_NET_VENDOR_HP is not set