[Linaro-acpi] Additional ACPI requirements

Hi Folks,

There are a few requirements that I would like to ensure are documented in various revised documentation. I'm curious to know whether you'd like the current in-kernel documentation to include things at the level of "GICv3 use requires that every processor have a Processor Device in the DSDT". Is that too much detail for the kernel documentation?

Jon.