http://www.xen.org/products/xen_source.html clearly says the latest is 4.0.1 !
*** This bug has been marked as a duplicate of bug 336743 ***