Re: [arch-releng] [PATCH] Moved kernel parameter generation into get_kernel_parameters

[Dieter Plaetinck]

merged and pushed.
I also did some further cleanups of the code and some API's, which I pushed.

thanks,
Dieter