It is pretty warm, when we run it on 12V DC. But when we use 9V to 10V, it becomes a lot cooler. Even it is warm, it should be fine, we have board running from 4 years ago with 10V power. It still keeps running without any problem.
Some people soldered heatsink on it to let heat dissipate faster.
WC32 production board uses switcher IC, it does not generate any heat.