Re: [SeaBIOS] ia16 gcc port - handy for SeaBIOS?