BPF implementation for the Hurd