[coreboot-gerrit] Patch merged into coreboot/master: 7aafe53 timestamp: fix incremental linking error for !HAVE_MONOTONIC_TIMER