Linux kernel source tree used in LibreELEC development releases - View it on GitHub