Luca, On Thu, 2016-10-13 at 13:21 +0300, Luca Coelho wrote: > Could you please give this a spin? I have tested it with some handmade > ACPI tables in QEMU and it seems to work fine now. Tested-by: Paul Bolle <pebolle@xxxxxxxxxx> Not that this test was worth a lot: it builds cleanly (on top of 4.8.1), the error at boot is gone, obviously, and wifi still works (as you're reading a message that was sent out over wifi). And I haven't even tested this on another machine than my XPS 13 (9350). Thanks! Paul Bolle