I wonder if this is due to the fact that it's running in NoAccel mode. (Haven't actually looked at any of the code though.) Pacho, can you test 4.12-rcN with the nvidia-supplied firmware installed (part of linux-firmware) which will allow you to have acceleration on your board?