Subject: 2025-02-17 kernel updates, and update the default to linux-libre 6.13

From: Leo Famulari <[email-masked]>
Date: Tue, 18 Feb 2025 15:42:51 -0500

Here are the kernel updates of 2025-02-17 (as well as the subsequent
emergency fix in 6.12.15).

Also, this patch series updates the default linux-libre package to the
6.13 series. It's been working fine for me.