Re: [Linaro-acpi] [PATCH 0/6] Set up APEI tables