Adding the custom Linux kernel for the course.