Merge pull request #3462 from gilles-peskine-arm/programs-cmake-cleanup-2.7

Programs cmake cleanup 2.7