eventfd: change int to __u64 in eventfd_signal()