Yes, it would help if you can try the latest kernel from Kernel:Head. Nothing really stands out in the logs. As Takashi says, it is likely related to MST. I'll try looking some more into the logs. Perhaps the vcpi allocation is incorrect.