AWS F2 Vitis platform mismatch: device shell v10212415 but public platforms are v10162423/v03072517

The issue is with AWS EC2 F2 Vitis/XDMA support. My F2 instance shows the FPGA device is ready:

xilinx_aws-vu47p-f2_xdma-shell-v10212415_202410_1
Device Ready: Yes

However, the public Vitis platform installed by aws-fpga/vitis_setup.sh targets a different shell:

/opt/Xilinx/Vitis/2024.1/platforms/xilinx_aws-vu47p-f2_202410_1_2.xpfm
sdx:name="xdma-shell-v10162423"

As a result, my Vitis/XRT .xclbin fails to load with:

[XRT] ERROR: failed to load xclbin: Invalid argument

Start by inspecting aws-fpga/vitis_setup.sh and the installed .xpfm platform metadata, then compare its xdma-shell-v10162423 target with the F2 device shell v10212415. Reproduce the XRT .xclbin load failure on an F2 instance. Done means the installed public platform matches the device shell and the .xclbin loads successfully.

Written by the indexing model from the issue text.