5b11c2
Update config files: ARM64/default,vanilla: Disable CONFIG_XEN as that should only be enabled in the pv flavor