[Bug 744617] kernel (default and desktop) crash while boot (smp issue)