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

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