Dumb question, but I still cannot get the last package, kernel-diablo... to install. It needs flash-and-reboot. I belive I've added the proper Extras repository and issued apt-get -f install but it just won't resolve this issue. Is there someplace I can manually download this package?