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(at)makrotopia(dot)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