ARM, clocksource/drivers: Provide read_boot_clock64() and read_persistent_clock64...