GNU GRUB Manual 2.12: Environment block