> Here's something I just noticed: Award BIOS has a bug that won't let it
> detect non-chipset PCI bridges.
How does the problem manifest itself under Linux? If your boards
do not get layed out, you may let the kernel do it. There is
layout code in arch/alpha/kernel/bios32.c, which I plan to
adapt for Intel.
Cheers,
Hein