HWE64, het is gelukt (zie de bijgevoegde schermafbeelding).
Wat voor mij een mysterie is, is dat het bij Mint 19 ook gelukt is, maar zonder dat ik daar de actie van het handmatig installeren van de systeemkern, noch het commando sudo update-grub heb uitgevoerd. Bij het de laatste keer gewoon opstarten van Mint 19 was de systeemkern 4.15.0-106 niet langer actief, is systeemkern 4.15.0-115 niet langer geïnstalleerd, is systeemkern 4.15.0-117 geïnstalleerd en is systeemkern 4.15.0-118 actief.
Ik wil je ontzettend bedanken voor de hulp!