quoted

One more ouput for tonight. After doing a diff of the acpidump from
both BIOS versions, I've found explicit references to the two 0xCE and
0xCF values right in the delta, in the dsdt.dsl files.

Right.  That's what my last message was about. :-)

Indeed, our messages have crossed each other :-)

quoted

I'm new to ACPI but could that ECBT mean "EC Button" maybe?

That's just a method name which may or may not mean the above.

\_SB.PCI0.LPCB.ECDV is the EC, so it is all related.

However, the bottom line is that there is no way for the kernel at all
to know in advance that these events are going to be generated.

Ok, so I understand that this is totally device-specific :-( Would a patch
to handle this specific case be acceptable in the kernel though?

Thanks,
Jerome