@george Is new kernel available now? Thank you!