.config files used for building official kernel