Kurt,
First, to all, sorry if my posts are a bit confusing context-wise since I don’t have any quoted info - I’m using Google Groups web interface and it only allows me to reply to the OP, not to replies within the thread. Google can be a perplexing animal sometimes…
Anyway, as for the segfault, I don’t recall seeing this, but I could have easily missed it and I’ve been working 12+hr days this week - no BBB playtime for me, so I can’t easily check. I would say if everything works don’t worry about that for now. It’s related to the ethernet support over the USB port and without the USB port plugged in, you don’t care about it unless it somehow destabilizes your USB or networking performance.