Have you looked for the original firmware sources? The maker of the kit might provide the sources online. If you don't know who made the kit and it is not printed anywhere on the circuit board, you might find it still available for sale somewhere on AliExpress.com or Amazon or eBay.