I'm pretty sure those were actual kernel modules, not eBPF. eBPF for their Linux agent is on their roadmap but not something they are actually doing yet. eBPF should be sandboxed and unable to crash the kernel. Could be I'm missing something, though.