Seems the firmware is not generated. I will have a look.