c56cfc1 Fix kernel patch for PPC32 targets.

Authored and Committed by nickc 5 years ago
    Fix kernel patch for PPC32 targets.
    
        
file modified
+4 -1