[arch-dev-public] Xen domU kernel - what to do?