Hunting a spooky Ethernet driver bug