Hallo, also die hbmenu.nds bzw die boot.nds bekommst Du von hier:
https://github.com/devkitPro/nds-hb-menu/releases
dort musst die die taz.gz. Datei runterladen und wenn Du die mit 7.zip öffnest kommst Du in den Ordner hbmenu und in dem Ordner findest Du die BOOT.NDS
Kann Dir die BOOT.NDS auch anhängen wenn Du magst.