Fix some stupid problems of the Dawn kernel.