Ok, success. The board works with the PCI version of the Voodoo3, and it also does with a TNT2 AGP card

Won't work with Voodoo3 AGP, or Diamond Viper V330. ACPI is of course a PAIN in the butt to get to work properly (either unstable, probably because of some imcompatible devices of mine, and/or performance is worse), so I decided to disable it in the BIOS. If someone can give me some good advice on how to get ACPI working properly (I've already read most of the threads), I'll try it again. Thanks
Bottom line, if you want performance and stability, I suggest you stick with the dual BX boards such as the SuperMicro P6DBE, the Tyan Tiger 100, or the Asus P2B-D or P2B-DS. The Asus boards are the only Dual BX boards that have the 1/4 PCI divider at 133 FSB (using SoftFSB), but they do cost a LOT more.