[CODE] added a cleaner ioctl version. Still to be checked if it works

If ioctl_user works, use it as starting version!
Otherwise use stevea


Signed-off-by: Francesco Robino <frobino@kth.se>