build/kernel_configs: Add sed scripts to create various kernel configurations.