Wrappers for EFI file operations.