Documentation: add Kernel Driver Statement to the kernel