Use PCII440FXState instead of generic PCIDevice