looks like already fixed, so close it. And now there is only single kernel ( no xen flavor), so it should make it even easier to use it.