My feeling is that the only proper solution might be to track the VA ranges per
GEM handle instead of per BO in the kernel. Christian, would that be feasible
in the radeon driver?

BTW, I think the dmesg output would be more useful without all the debugging
output enabled. That makes it like looking for a needle in a haystack.