bugfixes caused by new board manager, and tweak in tcrypt