[PATCH] xen: Fix Kconfig dependencies