1 --- efibootmgr-efibootmgr-0.11.0/src/include/efi.h.orig 2014-10-21 22:17:27.000000000 +0200
2 +++ efibootmgr-efibootmgr-0.11.0/src/include/efi.h 2015-04-19 16:00:26.075721399 +0200
4 EFI_GUID( 0x09576e91, 0x6d3f, 0x11d2, 0x8e39, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b)
5 #define EFI_GLOBAL_VARIABLE \
6 EFI_GUID( 0x8BE4DF61, 0x93CA, 0x11d2, 0xAA0D, 0x00, 0xE0, 0x98, 0x03, 0x2B, 0x8C)
7 +#ifndef EDD10_HARDWARE_VENDOR_PATH_GUID
8 #define EDD10_HARDWARE_VENDOR_PATH_GUID \
9 EFI_GUID( 0xCF31FAC5, 0xC24E, 0x11d2, 0x85F3, 0x00, 0xA0, 0xC9, 0x3E, 0xC9, 0x3B)
11 #define BLKX_UNKNOWN_GUID \
12 EFI_GUID( 0x47c7b225, 0xc42a, 0x11d2, 0x8e57, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b)
13 #define DIR_UNKNOWN_GUID \
14 --- efibootmgr-efibootmgr-0.11.0/src/efibootmgr/efibootmgr.c.orig 2014-10-21 22:17:27.000000000 +0200
15 +++ efibootmgr-efibootmgr-0.11.0/src/efibootmgr/efibootmgr.c 2015-04-19 16:13:25.519038487 +0200
17 #define EFIBOOTMGR_VERSION "unknown (fix Makefile!)"
20 +#define efi_variable_t my_efi_variable_t
22 typedef struct _var_entry {