[SeaBIOS] coreboot: modifying seabios bootenter list dynamically