Hi,

Attached is a patch to do proper removal of support for the DEC Alpha.
I hope it is not mangled.

Side note: it seems GMail now prevents sending patches directly with
git send-email -- I really wish we could move to a CI platform like
GitLab or Gitea.

-- Sean McGovern