hp_sdc_rtc: fix broken ioctl conversion