163c163,164
< env['SMT_CPU_MODELS'].append('O3CPU')
---
> else:
> env['SMT_CPU_MODELS'].append('O3CPU') # Checker doesn't support SMT right now