AI assistance when contributing to the Linux kernel