PATCH: Add testfile-x32 to run-addrcfi.sh