We don’t do any kernel development. For RPi we use the official stock RPi kernel that is provided by RPi developer.