Using the Tinkerforge HAT with debian stretch on ROCK 4B+

Hello,
I am switching from a raspi to a ROCK 4 right now, but I am not able to get my tinkerforge HAT running. The HAT itself works but does not detect any hardware.

I tried playing with the /etc/brickd.conf but was not able to solve the issue.

The problem is probably due to the different GPIO pinouts of Raspi and ROCK, is there a way to adjust for that?