switchdev: the Linux switching framework running a mainline kernel on network gear