Re: [GHC] #11745: In GHC Download section it is not stated that ARMv7 build is only for 32bit ARM