The kernel on the hypervisor3 machine oopsed inside the network driver. The machine came back up after a cold boot cycle.
Full kernel log of the oops:
I only find somewhat old bug reports with analoguous bugs, with no obvious fix... Let's keep an eye out.