[SeaBIOS] [PATCH] make seabios 386/486 friendly