[PATCH V2] Add a new PIIX option to control global PCI hot-plugging

[Ani Sinha]

Fixed the build breakage. Sorry for breaking the build.