Hi,

Don't know if the issue is still present for someone. I've encountered the same issue.
Updating my OS from Debian 9 to Debian 10 solved it.
Probably the ASL compiler is too old. So, try updating iasl.

Best regards,
Corvin