Re: [Linaro-acpi] Mustang branch boot issue