Re: [Linaro-gsoc] UEFI on BBB : Progress Update