Update "Debian 7 Kernel Upgrade" link and text.