When using the Nexus V9P SmartNIC with a cusgonm FPGA load, the RX counters, TX counters and dropped packet counters do not match between OS ifconfig and exanic-config. we are using libexanic in a custom application to read packets. How does the OS/ifconfig get the data for display of FPGA controlled interfaces?