b37807d add armvirt kernel builds

Authored and Committed by kraxel a year ago
    add armvirt kernel builds
    
        
file modified
+16 -0
file modified
+1 -0