Re: [coreboot] buildrom: optional delay to kexec fails