[Radxa Rock 5C] Which heatsink to use with PoE hat?

I know that Rock 5C has a dedicated heatsink with a fan from Radxa, but I don’t see how it should work in combination with the official 25W PoE hat.