Ok, I looked over everything again. I was blind!
Luc, you are absolutely right. And we do not need a dk8_htx enable function. Just use the ARUMA one.
The code I posted was based on reverse engineering registers, it worked for us very well for months. So I never bothered checking the other boards. Sorry.
I tested using the Aruma function on real hw and it works as expected.
After your patch, everything is A LOT better readable.
Sorry for the hassle, Mondrian