yo pienso que como es el firmware mas actualizado el que le querias poner tu sETools no es la ultima version y no tiene el archivo rest para el R4EK001 debes de generarlo de la siguiente forma

pones el main de tu firmware en la carpeta make_rest que esta en la carpeta de setools

navegas con MS-DOS a esta carpeta o "cmd el simbolo de sistema" es lo mismo...

abres el archivo .exe dejas un espacjio y colocas el nombre del archivo el MAIN
ejemplo:

C:\\setools>make_rest>(archivo no me acuedo delnombre).exe R4EK001.....

"todo el nombre del main"

luego enter
esperas y cuando termine se creara un archivo en esta misma carpeta

este archivo lo copias en la carpeta rest de SETools y listo...!!