fix tests on linux, added more kernel functions pretty printing