[Linaro-acpi] ARM Juno Board + UEFI/ACPI + Linux + USB