Re: mfd/intel_pmc_bxt: `intel_pmc_get_resources()` results in page fault

[Andy Pont]

Hello Mika,

> Thanks! The dump looks OK to me wrt. the PMC device. However, I think I
> found the bug.
>
> Can you try if the below hack fixes the issue?
I’ll give the patch a test and let you know how I get on.

Which fields within the ACPI dump are you looking at?  When we boot the 
same hardware platform / Ubuntu image with the stock AMI BIOS then we 
don’t see the kernel oops.

-Andy.