[CentOS-virt] Clocksource boot issues 4.9.13

Hi all

I’ve got a few Intel Z87 chipset machines with Adaptec 5405 raid cards (latest firmware), they work fine on 3.18 but during Dom0 boot using kernel 4.9.13 it hangs at “Using clocksource tsc” and the aacraid driver keeps trying to reset

Has anyone seen anything like this?

I’ve tried specifying clocksource=xen in grub instead of the default of tsc, and that has the same issue. HPET is enabled and Xen is seeing it:

(XEN) ACPI: HPET D9649CB0, 0038 (r1 ALASKA A M I 1072009 AMI. 5) (XEN) Platform timer is 14.318MHz HPET

Thanks Chris