Remove names for vendor platforms that were deprecated in RFC 18#1002

whitequark merged 1 commit intoamaranth-lang:mainamaranth-lang/amaranth:mainfrom

whitequark:remove-deprecated-platformswhitequark/amaranth:remove-deprecated-platformsCopy head branch name to clipboard