[Arm-dev] EFI u-boot for Gigabyte MP30-AR0