create a platform config-* file if there is none already when running kernel_menuconf...