[coreboot-gerrit] Patch set updated for coreboot: 3c93ea0 Poor man's ftrace from akaros