First off, thanks for an incredibly stable osmc. Amazing for an alpha build. Question, I see that the kernel is 3.1. Can you say if this is likely to change in the near future? I want to buy a PVR T2 usb stick and would like to get one that will work “out of the box” if possible. Could you recommend one? And is it simply a matter of enabling the installed TVheadend add-on?