eventfd: Use write_hex_to_fd() (XCC)