functions: support kernel named vmlinux-*

RISC-V kernels are called vmlinux-*.

If vmlinuz-* does not exist, look look for vmlinux-*. (Closes: #1069869)

Signed-off-by: Heinrich Schuchardt heinrich.schuchardt@canonical.com

merged

mentioned in commit 48814785