Use bauner build and smdk4412 kernel