Fix path to GRUB patch files in GRUB build stage.