On Thu, Jun 8, 2017 at 1:38 AM, Jérôme de Bretagne
[off-list ref] wrote:

Hi Rafael,

quoted

I'll look at the acpidump output data attached to the bug entry.

Thanks.

quoted

I only see one acpidump output attachment in the bug entry, so please
also attach the one from the other BIOS revision.

Here you go, I've just attached the second one. I've also updated
their respective descriptions to better see which one is which.

Thank you.