[ARM] Rename v8.1a from "extension" to "architecture": follow-up