Linux introduces KernelCI, an automated testing framework for the Linux kernel