[coreboot] Proposal - Fast Boot UEFI addendum to Coreboot