Re: [Linaro-acpi] Simple ACPI Boot Tests