[SeaBIOS] seabios fails to build with current IASL