From 987ccef2af5d32c0fb29c794c31e86cbcd0b7e2e Mon Sep 17 00:00:00 2001
From: Davide Cavalca <dcavalca@fedoraproject.org>
Date: Fri, 18 Aug 2023 20:04:27 -0700
Subject: [PATCH] Also set 16k as the default kernel package type

---
 root/etc/sysconfig/kernel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/root/etc/sysconfig/kernel b/root/etc/sysconfig/kernel
index 8da1970..50c22c1 100644
--- a/root/etc/sysconfig/kernel
+++ b/root/etc/sysconfig/kernel
@@ -3,4 +3,4 @@
 UPDATEDEFAULT=yes
 
 # DEFAULTKERNEL specifies the default kernel package type
-DEFAULTKERNEL=kernel-core
+DEFAULTKERNEL=kernel-16k-core