It took me an age to track down a replacement as they are no longer stocked anywhere. I managed to find a second-hand one being sold by a company in Germany, I then had to programme it myself which was not the easiest thing in the world as I am not a software programmer however I managed to do it and it works perfectly to this day.
One thing to try is replacing the bios battery as these will stop it booting if it’s flat.
If you remove your SBC you’ll be able to find out the make and model, they are not all the same.
