efi_loader: correctly determine the boot partition