[coreboot-gerrit] Patch set updated for coreboot: 9ff1994 bootstate: use structure pointers for scheduling callbacks