b0dba0c Minor ARM cleanups and remove obsolete options

Authored and Committed by pbrobinson 10 years ago
    Minor ARM cleanups and remove obsolete options
    
        
file modified
+1 -3
file modified
+4 -3
file modified
+0 -3
file modified
+3 -0