[Pkg-nagios-devel] Bug#1096198: Bug#1096198: Bug#1096198: monitoring-plugins-contrib: check_running_kernel has no idea what riscv64 kernel is running

[Sebastiaan Couwenberg]

Control: tags -1 pending

Added a patch in git to also check vmlinux images again which resolves the issue on the porterbox at least.

Kind Regards,

Bas

-- 
  GPG Key ID: 4096R/6750F10AE88D4AF1
Fingerprint: 8182 DE41 7056 408D 6146  50D1 6750 F10A E88D 4AF1