701013 Update config files:

Authored and Committed by dirkmueller 8 years ago
    Update config files:
    
      ARM64/default,vanilla: Disable CONFIG_XEN as that should
      only be enabled in the pv flavor
    
        
file modified
+2 -33
file modified
+3 -34