OK, all other questions aside for a moment
I never did manage to get the ARM build to boot -- saw the UEFI boot loader skip past CD/DVD and HDD to Netboot plenty of times, though.
FWIW, I *did* validate the overall approach using the x86 build of "Raspberry Desktop," but as I mentioned earlier...