82ab0e0 Fix removal of policy.kern file

Authored and Committed by dwalsh 7 years ago
    Fix removal of policy.kern file
    
        
file modified
+1 -1