linux_ioctl.cc: fix unicode in comment

Fix a unicode character in the author's name.

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>