efi_loader: correct efi_disk_register