linux-rpi (6.12.47~20250916-1) eos; urgency=medium

  * Initial release.
  * Download Raspberry Pi linux kernel at the stable tag stable_20250916 of
    https://github.com/raspberrypi/linux. There is the tar.gz archive. Then,
    rename it as upstream source linux-rpi_6.12.47~20250916.orig.tar.gz for
    packaging.
  * Raspberry Pi provides document "The Linux kernel" teaching how to build
    the kernel. The "Build configuration" section has the build config
    informaiton.
  * After install linux-rpi, it will activate updating initramfs.
    https://www.raspberrypi.com/documentation/computers/linux_kernel.html

 -- Jian-Hong Pan <jhp@endlessaccess.org>  Wed, 01 Oct 2025 14:29:14 +0800
