[PATCH 1/1] efi_loader: reformat efi_disk_add_dev()