1c0b002 kernel-arm64.patch: fix up build... no idea if it works

Authored and Committed by Kyle McMartin 9 years ago
    kernel-arm64.patch: fix up build... no idea if it works
    
        
file modified
+2 -0
file modified
+557 -7105
file modified
+7 -6