SW: use Debian kernel packages instead of our custom Grml ones