crc32c-intel vs crc32c

[Loïc Minier]

        Hi folks

 While looking into an ARM specific issue today (LP #715835) I noticed
 that we build crc32c into the kernel for x86/x86-64 kernels in Ubuntu,
 but that we only build crc32c-intel as a module.

 Thanks to some magic, crc32c-intel ends up in the initrd, and might or
 might not get loaded from there on.

 Would someone mind checking whether crc32c-intel gets loaded on SSE 4.2
 hardware?  (I don't have that)

 Maybe it would make sense to build this module in the kernel?  This is
 particularly relevant if it does NOT get loaded on boot on SSE 4.2
 systems.

    Cheers,
-- 
Loïc Minier