> I wrote:
>> Concretely, I'm imagining that we'd do more or less the attached in
>> c.h, and then the rest of the work would just be to remove the
>> not-very-large number of references to the alternative CPU symbols.
> Here's a fleshed-out (and now actually lightly-tested) version
> of that.
Pushed. I shall now watch the buildfarm from a safe distance.
regards, tom lane