Update Debian desktop package lists

Signed-off-by: Nicolas Iooss <nicolas.iooss_git@polytechnique.org>
Debian: Use grsec kernel

Signed-off-by: Nicolas Iooss <nicolas.iooss_git@polytechnique.org>