usb4bsd/net: Adjust comment, we also miss axge(4) and smsc(4).