[PATCH] x86_64: Fix ioctl compat code for /dev/rtc