Added some javadocs to the Kernel API