[linux-morello-distros] [PATCH 07/13] grub: make check-layer compliant