diff --git a/util/grub-get-kernel-settings.in b/util/grub-get-kernel-settings.in
index f71bc64360..47ea978681 100644
--- a/util/grub-get-kernel-settings.in
+++ b/util/grub-get-kernel-settings.in
@@ -68,7 +68,12 @@ if test -f /etc/sysconfig/kernel ; then
     . /etc/sysconfig/kernel
 fi
 
-GRUB_DEFAULT_KERNEL_TYPE=${DEFAULTKERNEL/-core/}
+# kernel-uki-dtbloader is a drop in replacement for kernel-core, treat it as such
+if [ "$DEFAULTKERNEL" = "kernel-uki-dtbloader"  ]; then
+    GRUB_DEFAULT_KERNEL_TYPE="kernel"
+else
+    GRUB_DEFAULT_KERNEL_TYPE=${DEFAULTKERNEL/-core/}
+fi
 if [ "$GRUB_DEFAULT_KERNEL_TYPE" != "kernel" ]; then
     echo GRUB_NON_STANDARD_KERNEL=true
     echo export GRUB_NON_STANDARD_KERNEL