This is an old revision of the document!
Disable all power management in the BIOS.
Disable all C-states, including C1E.
A result above 2
indicates you need to disable power management in the BIOS:
xenpm get-cpuidle-states | grep total | uniq