Intel has been absolutely incorrect on this a few times. Quite often there is a conflict in ranges that the ACPI spec included in the system firmware can't deal with, but if an operating system is clever enough it can work around the problem.

It may require some ACPI trickery, but it absolutely is doable. If the firmware guys are super lazy it may just work without ACPI trickery.

Check out an example here: https://www.downtowndougbrown.com/2019/04/adventures-of-putt...