> the internet will tell you that PC firmware developers are incompetent³
> ³ I’m not going to present an opinion on that here, merely say that this provides no supporting evidence for that assertion
If anything, isn't this evidence the vendor should've paid someone to write an ACPI driver for Linux? :-)
Two questions:
1. How does the kernel detect the conflict?
> you can certainly boot with acpi=off if you want to and no ACPI code will be executed at runtime
2. How does the kernel prevent the firmware from running anything?