Linus Torvalds posts his first AI-assisted patch to the Linux kernel