fix rump/netbsd types for device