[coreboot-gerrit] Patch merged into coreboot/master: libpayload: timer: cast cpu_khz to make sure 64bit math is used