Add a config option to disable use of CPU extensions