Are you really generating CRC32 of a pile of ethernet MAC addresses and the XORing the CRC together? That gives the same answer as XORing together the MAC addresses and then doing a CRC of the final value.
I was not sure about this since the CRC32 is not a linear operation. However this routine is not on the fast path, so we can also live with this order.
All CRC are linear. Because '(a + b) mod c' is the same as '((a mod c) + (b mod c)) mod c'.
The CRC of a buffer is the XOR of the CRCs generated for each '1' bit. The CRC for each bit depends on how far it is from the end of the buffer. Presetting the CRC to all-ones generates a value that is dependent on the length of the buffer - otherwise missing/extra leading zeros are not detected.
David