Add kernel API documentation