xen/Kconfig: fix Kconfig layout