This was discussed to death recently.
TL;DR that is the correct kernel for OSMC for now. An update to a newer kernel is coming later.