01-gnuefi.patch
02-libdir.patch
menu-support.patch
no-red-zone.patch
files-without-drive-letters.patch
