Driver: support -fno-debug-types-section to override -fdebug-types-section