Place configuration files for x86_64 debug flavor kernels in here.