Re: [Linaro-uefi] [PATCH 0/2] Updates to Juno DBG2 Acpi table