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