hw/wdt_i6300esb.c: convert to PCIDeviceInfo to initialize ids