include debian-installer/riscv64/menu.cfg
