DragonFly BSD - GSOC: Scheduler SMT aware