new kernel repo, small fixes