[linux-morello-distros] [PATCH 06/17] Add grub