Subject: Kernel 5.18 update
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Fri, 24 Jun 2022 13:38:40 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

These patches add linux-libre 5.18, update the default kernel version to
the 5.18 series, and remove the 5.17 kernel series because it is no
longer supported upstream.