Re: [Linaro-acpi] [RFC 0/5] console/acpi: add DBG2 and SPCR console configuration