eBPF Programs to monitor Kernel CWND