Some time ago I edited the Xen page on wiki.debian.org about this, so I think it could be helpful to provide a link for others who are searching the bug archives about this issue:
http://wiki.debian.org/Xen#A.27clocksource.2BAC8-0.3ATimewentbackwards.27 Hans