[Nix-dev] Kernel names and selection.

[Michael Raskin]

	Hello.
I added (it is in SVN now) the possibility to easily specify kernel and 
configuration name tag. I failed to make multi-kernel configurations 
possible, though, but when you can mark configurations with kernel names 
and change kernel used for configuration easily, it is anyway better.

I tested it and it works for me.

I will welcome all comments.

Raskin