main/grub: upgrade to 2.12

Upgrade to Grub 2.12.

Remove patches no longer required and rename/tweak existing patches still required.

Add a minor fix to get Grub 2.12 to build (upstream forgot to include a necessary, but empty, file that build requires.