I was trying to build a firmware by using this tool > https://github.com/150balbes/build . I'm not a expert, so i met few problems. here is the issue. I added BRANCH="dev" in the config-default file. After building the kernel version is 4.17.3. How can i specifically set the kernel version to 4.16.1? I tried to flash the firmware which i built, no surprise, it can't boot... my devices cpu is s905D. BTW, i need a jessie firmware... Thanks a lot for your helping!!!