[Arm-dev] How to Use UEFI on Gigabyte MP30-AR0