[linux-morello-distros] [PATCH 1/9] grub: remove redundant code