[lucjan@archlinux ~]$ zgrep -i MHASWELL /proc/config.gz && zgrep -i SMT /proc/config.gz && dmesg | grep scheduler && uname -a
CONFIG_MHASWELL=y
CONFIG_SCHED_SMT=y
CONFIG_SMT_NICE=y
[ 0.256754] io scheduler noop registered
[ 0.256779] io scheduler bfq registered (default)
[ 0.256780] BFQ I/O-scheduler version: v7r6
[ 0.433347] BFS CPU scheduler v0.456 by Con Kolivas.
Linux archlinux 3.17.1-2-lucjan #1 SMP PREEMPT Mon Oct 27 10:33:09 CET 2014 x86_64 GNU/Linux