[coreboot-gerrit] Patch set updated for coreboot: 9afc7fe boot state: remove drain timers option