Substitutes available for ARM!

[Ludovic Courtès]

Mark notes that I forgot another important thing that comes with the
merge: Substitutes for armhf-linux are now available!  If you have a
Novena or some other ARMv7 machine, enjoy!  :-)

Ludo’.