Import/typedef in userspace the kernel types for all platforms