Kernel and driver support for new boards

That’s really helpful. Thanks Petros.