One possible workaround is to make the device use identity mapping, but that requires change the kernel source code.
One possible workaround is to make the device use identity mapping, but that requires change the kernel source code.