*** Default configuration is based on 'x86_64_defconfig'