The current command line works correctly only if one kernel is
installed. It picks the oldest if there are multiple, which is rather
unlikely to be correct. Using "tail" instead of "head" would work also,
but --regenerate-all makes it briefer and safer.
64f7b6c5b2
