[PKGS-7410] Does not detect the package containing the kernel.

[ferorge]

Is your feature request related to a problem? Please describe.
When lynis runs the test [PKGS-7410] it does not detect the package containing the kernel.
hardware: odroid xu4 hardkernel
OS: ubuntu 24.04 armhf
lynis:3.1.2

2024-05-14 05:28:28 ====
2024-05-14 05:28:28 Performing test ID PKGS-7410 (Count installed kernel packages)
2024-05-14 05:28:28 Test: Checking how many kernel packages are installed
2024-05-14 05:28:28 Result: found no kernels from dpkg -l output, which is unexpected
2024-05-14 05:28:28 Exception: test has an exceptional event (PKGS-7410) with text Could not find any kernel packages via package manager
2024-05-14 05:28:33 ====

# dpkg -S /boot/zImage
linux-odroid-5422: /boot/zImage

Describe the solution you'd like
I would like lynis to detect the package so that it doesn't find an exception.

Thank you so much!
Greetings!

[mboelen]

What is the package name of the kernel that you see when running dpkg -l?

Then it can be added in include/tests_ports_packages on line 1345
KERNEL_PKG_NAMES="linux-image-[0-9]|raspberrypi-kernel|pve-kernel-[0-9]"

Would be great if you can test it, as this is very specific. If it works, a pull request would be very welcome (to give you the credit for reporting and testing).