Is kernel.xml a good name for that (I don't know :)
In any case, this looks more like a change for 5.1 not 5.0.
If I understand it correctly, this could just go in deployers.xml alongside the other bean deployment stuff?
Now there could be a case for further modularising deployers.xml, but until
we really get to the stage where parts of the file are truly optional, I don't see the point?