Please try this on the broken kernel, sending along the dmesg output at
boot and resume time again.

-- 
keith.packard@intel.com