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