VIAPM_586B_3040F_ACTIV
c = pci_read_config(dev, VIAPM_586B_3040F_ACTIV, 1);
pci_write_config(dev, VIAPM_586B_3040F_ACTIV, c | 0x80, 1);