Re: UEFI configuration on ARM VE TC2