Just a side note. The ACPI tables needs to be writable by OS, because OS will store there waking vector. If you will protect the F segment where are the ACPI tables stores, suspend to RAM design/implementation would be complicated.
I really would go the way I suggested. Leave unprotected, OS should not overwrite parts of memory which are reserved/not reported.
Rudolf