https://bugzilla.kernel.org/show_bug.cgi?id=61891
--- Comment #5 from madcatx@atlas.cz --- Kernel 3.12-rc2 seems to fix the issue for me. (The kernel still crashes with the patches for powerxpress dynamic power switching, but that's obviously another story).