timekeeping: Introduce read_boot_clock