As I've been working through the detailed requirements of the reduced hardware mode in ACPI, and more particularly, working through where the current Linux implementation is either lacking or incorrect, I had a bunch of hand-scribbled notes scattered around. Since those had a bit of a tendency to wander off, I finally put them all in a wiki page:
https://wiki.linaro.org/LEG/Engineering/Kernel/ACPI/AcpiReducedHw
Now it will be much easier to lose them all at once.
If there are corrections needed or things missing, feel free to edit the page or let me know.