[linux-morello-distros] [PATCH v4 06/18] Add grub