Update efi.c