BUG #14033: cross-compilation to ARM fails

The following bug has been logged on the website:

Bug reference:      14033
Logged by:          Daniel Golle
Email address:      daniel@makrotopia.org
PostgreSQL version: 9.5.1
Operating system:   Linux
Description:

smmintrin.h is available on x86 targets only. It should be checked by the
configure script and inclusion should be conditional.

In file included from
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include/nmmintrin.h:31:0,
                 from pg_crc32c_sse42.c:19:
pg_crc32c_sse42.c: In function 'pg_comp_crc32c_sse42':
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include/smmintrin.h:846:1:
error: inlining failed in call to always_inline '_mm_crc32_u64': target
specific option mismatch
 _mm_crc32_u64 (unsigned long long __C, unsigned long long __V)
 ^
pg_crc32c_sse42.c:37:18: error: called from here
   crc = (uint32) _mm_crc32_u64(crc, *((const uint64 *) p));
                  ^
In file included from
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include/nmmintrin.h:31:0,
                 from pg_crc32c_sse42.c:19:
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include/smmintrin.h:839:1:
error: inlining failed in call to always_inline '_mm_crc32_u32': target
specific option mismatch
 _mm_crc32_u32 (unsigned int __C, unsigned int __V)
 ^
pg_crc32c_sse42.c:44:7: error: called from here
   crc = _mm_crc32_u32(crc, *((const unsigned int *) p));
       ^
In file included from
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include/nmmintrin.h:31:0,
                 from pg_crc32c_sse42.c:19:
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include/smmintrin.h:827:1:
error: inlining failed in call to always_inline '_mm_crc32_u8': target
specific option mismatch
 _mm_crc32_u8 (unsigned int __C, unsigned char __V)
 ^
pg_crc32c_sse42.c:63:7: error: called from here
   crc = _mm_crc32_u8(crc, *p);
       ^
../../src/Makefile.global:769: recipe for target 'pg_crc32c_sse42.o' failed
make[4]: *** [pg_crc32c_sse42.o] Error 1