[coreboot-gerrit] Patch set updated for coreboot: rk3288: Remove duplicate timestamp_init()