/debian/dists/proposed-updates/main/installer-riscv64/20250803+deb13u5/images/netboot/debian-installer/riscv64/grub/