Basic rmcee kernel with more clock steps and some more kernel functions