Redesign kernel API docs