Kernel Update

Hi.

Any idea if or when the update to Linux kernel 4.9.39 is planned? I just bought an Allo DigiOne soundcard HAT but the support team there told me that it’s only compatible with that kernel onwards. I am able to use it with Volumio and it sounds fantastic, but I’d like to stick with OSMC.

Thanks.

–Jack