0d62a04 Hopefully fix the ARM unified kernel build

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