Re: ARM virtual machines and UEFI's current non-Free status