Hi, I just bumped into #731345 using the back-ported kernel. Using back-ported flash-kernel 3.12 made the system boot again. It would be nice to have flash-kernel in the official backports repository. I can upload my version if the Installer Team does not prefer theirs instead. Cheers, Balint