build/kernel: Use sed to generated default configuration.