This fixes issue #5273 in the get script by making the armv7l
architecture point at the correctly named "arm" binary on the
release page.

Signed-off-by: Alex Ellis <alexellis2@gmail.com>