Parsing RoCE v2 under the eBPF verifier

Building AgentXDP, part 2. Part 1 defined the 64-byte event the agent will emit. This part is about the first sensor: an XDP program that recognises RoCE v2 packets, and how I convinced myself it read