From 623eaa76fe211075530e7fafd59b4ae06e7273da Mon Sep 17 00:00:00 2001
From: ferorge <38674077+ferorge@users.noreply.github.com>
Date: Tue, 23 Jul 2024 19:22:07 -0300
Subject: [PATCH] Fix issue #1497

Added kernel name for Hardkernel odroid XU4.
---
 include/tests_ports_packages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/tests_ports_packages b/include/tests_ports_packages
index 4a9fe6f3..35de8cd5 100644
--- a/include/tests_ports_packages
+++ b/include/tests_ports_packages
@@ -1378,7 +1378,7 @@ EOF
 
         if [ "${DPKGBINARY}" ]; then
             TESTED=1
-            KERNEL_PKG_NAMES="linux-image-[0-9]|raspberrypi-kernel|pve-kernel-[0-9]"
+            KERNEL_PKG_NAMES="linux-image-[0-9]|raspberrypi-kernel|pve-kernel-[0-9]|linux-odroid-5422"
             KERNELS=$(${DPKGBINARY} -l 2> /dev/null | ${GREPBINARY} -E "${KERNEL_PKG_NAMES}" | ${WCBINARY} -l)
             if [ ${KERNELS} -eq 0 ]; then
                 LogText "Result: found no kernels from dpkg -l output, which is unexpected"