[coreboot] Re: BUG: Seabios choose the wrong option rom when two are available