0000-unreleased-changelog.patch
0001-digest-sha.patch
0002-gfxboot-menu-label.patch
0003-extlinux-manpage.patch
0004-gnu-efi-from-debian.patch
0005-gnu-efi-version-compatibility.patch
0009-reproducible-build.patch
0015-reproducible-timestamps.patch
0016-strip-gnu-property.patch
0017-single-load-segment.patch
