Update list of packages

The "Debian kernel packages" chapter is very out-of-date. Update the list, removing packages that are no longer built and adding the new packages introduced with the split of linux-image packages.

This depends on !12 (merged)