So what about it?
Promised for 8, promised for 8.1, how hard can it be to just set 2 kernel options and provide an additional XEN kernel?
[font="Courier New"]grep _VIRT /boot/config*[/font]
[font="Courier New"]grep _VIRT /boot/config*[/font]