rename plebnet to ukern to reflect emphasis on kernel primitives and possible removal or move of networking support