From 55672fd1e515c841463dbe8d2279e157156b91cb Mon Sep 17 00:00:00 2001
From: Calvin Hill <calvin@hakobaito.co.uk>
Date: Wed, 9 Oct 2019 04:23:58 +0100
Subject: [PATCH] gnu_efi_kernel: bump version (#4264)