fix a small bug in config.pl that tends to mess up kernel cmdlines