This is believed to be fixed by r441826. (At least, it builds correctly
on armv7 as-is.)

Reported by: danfe