Add docbocks to kernel file