b01b1f0 Rebuild for ppl 1.2.

Authored and Committed by jjames 7 years ago
    Rebuild for ppl 1.2.
    
    Also:
    - Drop -ppl patch.
    - Add -gcc7 patch to fix FTBFS.
    - Reduce debug level on 32-bit ARM to try to avoid memory exhaustion.
    
        
file added
+13
file removed
-20
file modified
+15 -7