Create efi.h

with respect to erst.c