[GHC] #11570: C build fails on RPi 2