Comment 7 for bug 316187

Notice that I have added the kernel parameter "clocksource=acpi_pm", as discussed in bug #261937 and at:

    http://kb.vmware.com/selfservice/microsites/search.do?language=en_US&cmd=displayKC&externalId=1007020

However, dmesg on both VM that crashed still show an error such as:

    Clocksource tsc unstable (delta = 89051661614 ns)

Could it be related?