[Bug 620224] frequent OOPS @ Dom0 reboot: "kernel BUG ... xen/core/evtchn.c:176! ... invalid opcode: 0000 [#1] SMP"