Re: pathname for AArch32/Virt edk2 builds