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