After some permutation testing in BIOS i was able to sort it out.
The setting in question was:
Advanced → AMD CBS → NBIO Common Options → PCIe ARI Support → Enabled
It needs to be enabled “Auto” isn’t enough there.
A patched kernel is not needed.
Hope it helps somebody running into the same problem (with an ASRock board).