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