I just tested the mptable utility. There is a bit of a hack in there for IOAPICs, but it basically does the right thing for the supermicro p4dpe I'm working with.
So the most recent, tested on one motherboard version, is now committed.
It generates C code that looks identical (mostly) to the mptable.c code in other directories.
ron