Updated ARM architecture names per Leif's suggestion in
http://www.open-mpi.org/community/lists/devel/2013/01/12015.php.