Awesome Tech has very recently announced that there’s a new revision to their mini gerbil board that’s meant to be a drop-in replacement for the K40.
Mini Gerbil status update – AwesomeTech
I don’t have direct experience with it but believe it’s fairly well regarded.