Fix kernel_ti_st switch