4abb77fc5531 ("xen/platform-pci: use define instead of literal number")