Add kernel formatting binding
Update submodules