fb5869f Fix Raspberry Pi booting with LPAE kernel

Authored and Committed by pbrobinson 6 years ago
    Fix Raspberry Pi booting with LPAE kernel
    
        
file modified
+5 -0