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