Improving kernel documentation