tools/configurator: add HAVE_C11_GENERIC