ukernel: f9kernel: add softirq description