I remember there is a way(command) to check the makefile(make) options that distribution developers used them to build the kernel of current distribution. Is my memory wrong?
Linux - Check the makefile options with which the current kernel is built
linux kernel;compiling;make