dpkg -l | grep kernel

garagepi:~# dpkg -l | grep kernel
ii  firmware-misc-nonfree           1:20161130-3+rpt4            all          Binary firmware for various drivers in the Linux kernel
ii  kmod                            23-2                         armhf        tools for managing Linux kernel modules
ii  libdrm2:armhf                   2.4.74-1                     armhf        Userspace interface to kernel DRM services -- runtime
ii  raspberrypi-kernel              1.20190401-1                 armhf        Raspberry Pi bootloader
ii  rsyslog                         8.24.0-1                     armhf        reliable system and kernel logging daemon