update config (disable CONFIG_XEN)