timekeeping: Increase granularity of read_persistent_clock(), build fix