[coreboot-gerrit] [M] Change in coreboot[master]: timer: Change timer util functions to 64-bit