> Hiding the option from BIOS menu is absolutely enough to "ensure Intel specific drivers are used for power management purposes".
It absolutely is not enough, because I can come up with a single contrary case.
If this change was made in a BIOS update, simply hiding the option would leave some users stuck in the "wrong" setting forever. So one might write some code to flip it back at the same time.
This is the simplest way of fixing the problem. It doesn't need any assumption of maliciousness or incompetence. It's just unfortunate for Linux users, since they clearly didn't get any consideration when this fix was written, that's all.