VIAPM_586B_3040E_ACTIV
s = pci_read_config(dev, VIAPM_586B_3040E_ACTIV, 2);
pci_write_config(dev, VIAPM_586B_3040E_ACTIV, s | 0x1, 2);