[Bug 659756] Booting xen kernel on AMD II X4 645 causes immediate reboot