driver is a place-holder, which will nicely print version information about your PCI chipset (try with "options PCIVERBOSE"). Eventually, this can be used to enable/disable features/bugs of individual PCI chipsets.