Acabei de instalar com sucesso um novo kernel Linux (5.3), mas na inicialização não tenho a opção de selecioná-lo. Estou faltando outras etapas?
Isto é o que eu recebo consultando o sistema para os kernels disponíveis:
> mhwd-kernel -li
Currently running: 5.2.20-1-MANJARO (linux52)
The following kernels are installed in your system:
* linux52
* linux53
No entanto, o GRUB só me mostra linux52.
Eu manualmente tenho que executar: