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