[PATCH 1/1] gitlab: use our own GRUB