Re: [SeaBIOS] seabios fails to build with current IASL