af96b5f fix armv7hl build

Authored and Committed by bonzini 6 years ago
    fix armv7hl build
    
        
file modified
+2 -0