bug in "PCI: Support INTx masking on ConnectX-4 with firmware x.14.1100+"?

+       /* Reading from resource space should be 32b aligned */
+       fw_maj_min = ioread32be(fw_ver);
+       fw_sub_min = ioread32be(fw_ver + 1);
+       fw_major = fw_maj_min & 0xffff;
+       fw_minor = fw_maj_min >> 16;
+       fw_subminor = fw_sub_min & 0xffff;

Maybe second read should be ioread32be(fw_ver + 4)?