hw/piix_pci.c: Fix PIIX3-xen to initialize ids