Re: [Linaro-acpi] [RFC PATCH for Juno 0/2] Drivers for Juno to boot from ACPI