Après mise à jour du kernel, Arch Linux ne démarre plus

J'ai utilisé cette méthode :

• Redémarrer sur la clé USB d'installation
• Trouver le nom du disque dur principal avec la commande : lsblk
• Monter le disque dur principal dans /mnt : mount /dev/sda3 /mnt
• arch-chroot /mnt
• Puis monter la partition de l'UEFI. Chez moi, elle est dans /boot/EFI : mount /dev/sda1 /boot/EFI
• Réinstaller le kernel : pacman -S linux-lts linux-lts-headers (enlever le lts si votre noyau n'est pas long time support)
• Régénérer l'image de boot : mkinitcpio -P
• Ctrl+D
• halt

A priori, pour éviter ce problème, il faudrait exécuter mkinitcpio -P après mise à jour (même si cela semble être fait automatiquement).