SMP never enabled on ARMv7
SMP support should be enabled on ARMv7, however I have been unable to force it so. The problem lies in
mk/config.mk.in, where double quotes have been erroneously added around the
ArchSupportsSMP variable. This causes the
GhcWithSMP variable to always be
NO when building for ARM.