set_rtc_noop
x86_platform.set_wallclock = set_rtc_noop;
extern int set_rtc_noop(const struct timespec64 *now);