I think, if you have previously booted you device to the sd card, you will not have to hold the reset button.
So, download, the img.gz file from the link, I then use rufus to create the sd card.
after creation, you will see the device tree folder, choose the correct device tree, copy to the root, then rename dtb.img
put sd card in tv box, turn on. initially you might need a keyboard, just in case the remote doesn’t work. follow the prompts, ie name, network, then reboot, you will then have “kodi”