The suggestion to invalidate cache is also in ACPI 6.2A 16.1.1.2 Example 2: S1 Sleeping State Implementation (page 783)

http://www.uefi.org/sites/default/files/resources/ACPI%206_2...