I also think the cause/fix is the same.
These are also HP laptops: EliteBook 8470p.
There are a lot of .efi files around, but the BIOS picks
/boot/efi/EFI/Boot/bootx64.efi
and I couldn't find how to configure another.
This file is not updated by any of the installers and we have to
manually replace it with a working version.
My solution was essentially what was described by
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1289977/comments/138.
Though I was careless enough not to create a backup.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1312787
Title:
"error: symbol 'grub_term_highlight_color' not found" in Ubuntu 14.04
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub-customizer/+bug/1312787/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
