Rename .armhf to armhf; this change was accidentally introduced when updating the...