More code style on efi.c