Dear Maintainer,

On behalf of the kernel team, please use `linux-version` instead of `sort`
in `/usr/share/grub/grub-mkconfig_lib`'s `version_sort` to sort kernel
versions. From what I understand, that is the canonical tool for sorting
kernel versions in Debian.

Cheers!