Changes from submodules and fixes for carbon kernel patches