[PATCH] efi_loader: fix sphinx conformance for efi_disk_remove()