c0e90d - Delete config/armv7hl/highbank (included in default now)

Authored and Committed by Alexander Graf 11 years ago
    - Delete config/armv7hl/highbank (included in default now)
    
        
file modified
+0 -1
file removed
-4758
file modified
+0 -5