Descrição
Cópias de kernel em EFI podem ser atualizadas automaticamente durante upgrades de kernel pelo pacman.
É útil para sistemas que inicializam a partir de locais EFI que precisam ficar sincronizados com kernels instalados. Hooks de boot podem impedir inicialização se caminhos estiverem errados, então verifique o layout EFI e mantenha mídia de recuperação disponível.