Add stephan's firmwares for tinyusbboard (hex).