Come risolvere l'errore 'modules.devname not found' in Arch Linux

Venerdi, come ogni venerdi prima di uscire da ufficio, aggiorno il mio pc con Arch Linux.

Ma dall'andamento di pacman, mi sembra che qualcosa non sia andato bene.

Quindi decido di riavviare subito per evitare sorprese il lunedi, ed ecco che il mio pc non si avvia più:

Warning: /lib/modules/4.15.7-1-ARCH/modules.devname not found - ignoring

Sconfortato, decido di rimandare tutto a stamattina; per fortuna ho risolto in poco tempo.

Questa la procedura che ho seguito.