Comment 37 for bug 1088733

Thanks again Joseph.

Alan - I'm quite certain your patch fixes the problem for me.

I've now tried at least ten first-after-reboot recordings, and every single one has worked. I've also tried plenty of other combinations, including multiple simultaneous recordings, and no failures there either.

The kernel panics also happen in the unpatched kernel - this appears to be some unrelated issue.