On Sat, Jun 30, 2018 at 11:28:07AM +0300, Michael Tokarev wrote:
Here's the debian bugreport https://bugs.debian.org/901462 with the patch.
I'm a little confused - the SeaBIOS build doesn't call iasl by default. It hasn't for quite some time (since commit 4373afae).
-Kevin