in my desktop Manjaro I use Manjaro Settings Manager GUI kernel switcher tool, but on Raspberry Pi 4 version of Manjaro there is no kernel tool under settings. Did google, found some guide to use mhwd-kernel from CLI, but this is also not available under ARM version…
So how do I add and activate another kernel for RPi4?