note on types for rump kernel
netbsd F_ flags