x86: on x86_64, correct reading of PC RTC when update in progress in time_64.c