kernel - Make interrupt thread preemption programmable