Source code extracted from:
https://ftp.gnu.org/gnu/grub/grub-2.12.tar.xz



Signed-off-by: Nicola Sparnacci <nicola.sparnacci@seco.com>