I'm wondering what target I should use from uefi-build.sh to build the "uefi_fvp_base.bin" configurationthat is available for download as part of the releases.The above binary boots, while a binary built with the "fvp minimal" target does not. The "fvp minimal" targetproduces a binary that is the same size, but I don't know if it is really what I should be using.Thanks,Roy