Ensure that grub2 patches are included in the source