[SeaBIOS] seabios fails to build with current IASL

[Michael Tokarev]

Here's the debian bugreport
 https://bugs.debian.org/901462
with the patch.

Thanks!

/mjt