Old kernel on Vero V?

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.