Посмотрел по K40AB - там для вывода на

Посмотрел по K40AB - там для вывода на debug порт используется не LPC_CLKEC, а LPC_CLKDEBUG (его нет на EC, идет с моста). Но это может влиять на показания посткарты, а 33 МГц все равно должно быть.
С уровнем 3,3в, а не 1,8в. Если б это был замер тестером, можно было бы предположить, что тактирование есть.