linux-3.9: separate distro config to the user config
linux-3.8: separate distro config to the user config