Mine gets hot too, i have installed a small fan on top of it. BTW how do you mesure the temperature of the marvel chip?

May I ask what version of armbian are you using? I have tried it on friendlydesktop and friendlycore and it does not work, the fan just spins at full speed all the time.