Re: [SeaBIOS] too big seabios (1MB)