@Pjotr, alleen Mint 19.3 staat op de pc.
Ik heb eerst grub zichtbaar gemaakt met 'xed admin:///etc/default/grub'. daarna na opstart naar kernel 4.15 gezet en in bijwerkbeheer kernel 5.0 verwijderd.
Bij een nieuwe opstart komt nu hij weer automatisch op de kernel 5.3. Mijn vraag kan ik die 5.3 op dezelfde manier weghalen al de 5.0?