The PIRQ is indeed wrong. So I booted a bproc phase 2 configured with IO-APIC support and all is well, since the _MP_ is correct.
Gee, this is nice.
I guess what we should do is dynamically generate PIRQ from the _MP_ table?
That's for later.
ron