add arm to the platforms of Sim10/2023.02

This is just to update the list of platforms in Sim10/2023.02 now that I installed armv8.1_a-centos7-gcc11-opt by hand.