Re: [PATCH 04/13] vfio-pci: use 32-bit comparisons for register address for gcc-4.5