New processor board at HT101 and HT102

The new processor board is present at HT101 with serial numbers147994 and newer, and at HT102 with serial numbers 148040 and newer. For more details incl. release notes for HT101 follow here and for HT102 here.