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