OpenPGP keys used for GRUB releases
