[SeaBIOS] Fwd: Re: coreboot: modifying seabios bootenter list dynamically