updated and cleaned up userkernel a bit