The kernel was changed 11 days ago, so after 009 was built. 010 has the latest kernel and if I (on my Osmio4k+) go to ImageManager/Downloads(yellow button)//choose OpenViX//select 5.4 Release ———> 010 is at the top of the list - select it, downlaod and flash restoring backup settings
If you downloaded latest version of OpenPli from ImageManager then it has the kernel update