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