[coreboot-gerrit] Patch merged into coreboot/master: 9ef9d85 bootstate: use structure pointers for scheduling callbacks