efi_loader: fix typos in efi_device_path.c