Dit menu heb ik ook met dualboot Mint 19.3 en Windows 10.
Met de pijltjes toets kan ik gewoon kiezen welke distro ik op wil starten.
Het werkt bij mij als voorheen, alleen in een nieuw jasje.
Neen, dit zeker niet hoor, want dit werkte immers niet!
In werklijkheid is het bij mij misschien wel twee slagen kleiner op mijn Lenovo en daar doet het dan ook zoals jij ook beschreef. Dat nieuwe grub-menu.
Op de BTO doet het alles net even anders, daarom ook dat opstartprobleem met het nieuwe grub-menu.
Wil nog even het profiel , qua de laptops, veranderen, maar hoe ging dat ook al weer...