[Bug 758975] GNU-EFI version bump request