hotfix: bad copy from userspace by ExpressMIMO2 kernel driver
The ExpressMIMO2 kernel driver did not use proper mechanisms to copy from user space. It is very surprising that it ever worked at all... This commit is a quick fix. It is not the end of the story and some more work may be needed if things don't work. The remaining issue is that we pass pointer addresses to the kernel as 32 bits values, but pointers are 64 bits values (on x86_64, our supported platform). Some checks have been put in place to detect if upper 32 bits of a pointer are not 0 and print a strong error message in case of problem, but no clean solution has been implemented.