Adding governors to the smdk4412 kernel