Re: [PATCH] New option for passing kernel parameters for bootloader