update kernel documentation due to bfs