Fix 'comparison of distinct pointer types lacks a cast' warning in clocksource driver