# CONFIG_THUNDER_NIC_BGX is not set
