Yeah, checked that. The option is called something like "Init Display First" and AGP/PCI are the options. AGP is selected, and, indeed, when the PC first boots up, all BIOS messages, etc. go to the AGP card.