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...

That link was an amazing read, thank you for sharing, I will not admit that I understand all of it, but it was a nice adventure to read through.