On Sat, Aug 11, 2018 at 5:42 AM, Tomas Winkler <tomasw@xxxxxxxxx> wrote: > What platform is this? This is not regular 0xfed40000 address space. I > guess this is BYT or CHT. It's better to get dmideoce dump as well. Hello Tomas, Jarkko, all, I'm not sure what's up with that. I've updated the firmware to the latest version (with no fix, sadly), and re-dumped the ACPI tables. They now process correctly through isl v20180629. I've also saved the output of dmidecode for you. https://gist.github.com/hlieberman-gov/83fa708d41051bafccc553cf0147db4f Sincerely, -- Harlan Lieberman-Berg Defense Digital Service