Comment 2 for bug 1182214

After updating flash-kernel database, it works for me (assuming initrd is properly generated before rebooting, using apt-get -f install for example). I've updated the package and should be available in ~1h (the build is scheduled in 25min).