[coreboot-gerrit] New patch to review for coreboot: b82324b boot state: remove drain timers option