cbdb31 last minute f14 kernel fixes

Authored and Committed by Kyle McMartin 9 years ago
    last minute f14 kernel fixes
    
        
file modified
+13 -1