My question first is, would it be a violation if I take the ownership of the ACPI firmware before I call EFI's ExitBootServices?
The second question is, how do I take the ownership over the ACPI firmware?
Aside from sending data to the specified I/O port, in what order should I do it?
Parse the ACPI tables and then take it, or vice versa?
Is there a possibility that the firmware would change the DSDT or the SSDTs when it owns them?
And if so, wouldn't that lead to data racing?