Armv7 segfaults with an immediate value in the pattern of 0xXX00XX00 where XX and XX match
See the Guile bug at https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40737 "Segfault in arm gcc7, thumb2 builroot, with arm patch", for more details along with a fix and a suggestion for a test case.