Great writeup but surprised the author didn’t try patching the ACPI table. I believe the GRUB bootloader can do this, and Microsoft seems to have its own way too: https://learn.microsoft.com/en-us/windows-hardware/drivers/b...

I’m also curious if the debugging of the timing and ACPI events could have m been done under Linux…