efi.h: Add struct definition for boot time services