Purge linux-image-generic so that dist-upgrade will not mess up
our default kernel choice.