On Thu, Jun 28, 2012 at 11:07:50AM +0100, Ian Campbell wrote:
The following are a few issues discovered in the course of investigating Debian bug #678042 [0], including the fix for that actual bug (which is cause by Xen not supporting SMM mode).
Thanks. I applied your changes.
-Kevin