[patch] Update list of e_machine values

[Cary Coutant]

> Is psABI git repo available to the public?

You mean the gABI? Not yet, but I'm working on it. The conversion of
the documentation to RST is mostly complete, and we're working on
setting up a github repo now.

-cary