renaming kernel-patch-* to linux-patch-* ?

[Filippo Giunchedi <filippo@esaurito.net>]

Hi,
I was wondering if it would sensible to rename kernel-patch-* to
linux-patch-* to follow current rename from kernel- to linux- (sorry if
this has been discussed before, pointers welcome)
This rename would be good only for linux-related kernel patches, I thought
also about keeping kernel-patch- namespace and have some kind of
kernel-aware tool to apply patches conditionally, but it is not definitely
worth the effort (the same patch is unlikely to be present at the same
time in two different kernels)

thanks,
filippo