> I have no idea what you're trying to get at. This is a firmware bug. Period. > And there's no solution in Xen, just a workaround (to use another reboot > method). I'm not trying to 'get at' anything. You asked a question, I answered.