0d62a0 Hopefully fix the ARM unified kernel build

Authored and Committed by Peter Robinson 12 years ago
    Hopefully fix the ARM unified kernel build
    
        
file modified
+2 -0
file modified
+3 -0