Live in North America, have an AZbox premium hd +, do not understand this kernel thing. I am running firmware that came with it, 0.9.5311. I see kernel 3.5.5, 2.x.x, etc. what is a kernel please??