Re: [SeaBIOS] [PATCH] If an int 1587 call is made from an option rom, stay in bigreal mode.