This pretty much never works for me, while exiting GRUB switches to the
next device in the boot order, so let's just "exit" GRUB and name the
menu entries accordingly.
This is taken over from upstream change
89c43982fb
Change-Id: I23106b202bfc57f3173cb1ee0326c5b7eddd0474
mr9.4.1
parent
fe7553f670
commit
66ee7d99c7
Loading…
Reference in new issue