[SeaBIOS] Re: Large 32 bit BAR's