[Linaro-acpi] [PATCH 0/1] Add SPCR/DBG2 tables for kernel testing/debug