Oh, and io_dump.c is here: http://linuxbios.org/pipermail/linuxbios/2007-October/025630.html
Thanks! I'll now reboot to get a diff, and test NoDDC2...
Diff attached, s/^ 00002/ 00001/ on the LB dump. That board has both PCI slots populated, in case it matters. Also, the base address was 0x1401 and 0x2401, respectively; I ignored that bit so far.
NoDDC2 does not mix well with ReverseDDC :-(
Torsten