*** Default configuration is based on 'x86_64_defconfig'
#
# configuration written to .config
#