Improved kernel documentation