/config/grub/default/patches/0001-borderfix/
../
0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch
0002-say-the-name-libreboot-in-the-grub-menu.patch