syscall/linux/types: Use tonumber in cmsg:datalen()