[PATCH] grub 2.00: Bugfix for CVE-2015-8370