how about cat /var/cache/pacman/pkg/linux-
It should show you all your installed kernels
edit; I use autocomplete in zsh so this is mine. As you can see I see both my installed kernels 5.2.8 arch and 5.2.8-zen
how about cat /var/cache/pacman/pkg/linux-
It should show you all your installed kernels
edit; I use autocomplete in zsh so this is mine. As you can see I see both my installed kernels 5.2.8 arch and 5.2.8-zen