39fbcbc Fix ARM configs

Authored and Committed by jwboyer 11 years ago
    Fix ARM configs
    
    I hate it when options show up in a late -rcX.  GRUMBLE.
    
        
file modified
+1 -0
file modified
+1 -0
file modified
+1 -0