Honestly, I think the same (or just create new garage account with name power-kernel-pali and create debs with using of fields "replaces" and "provides" or whatever they're called), but I also think that (to be fair) he should wait with it untill someone accepts or rejects him from being power-kernel maintainer. These are unfortunately not official power-kernels yet, so they should not use their package names yet, sadly. So overall, I think that change of name for now is good option, but in long term I agree with you.