Re: [Linaro-uefi] [PATCH 09/15] Platforms/ARM: TC2: build Shell from source