Use int32s to represent the PCI fields, and print them as hex

Signed-off-by: John Else <john.else@citrix.com>