BoardConfig: Add back -DHTCLOG

Needed to load some proprietary libraries.