PVR/SGX driver integrated into kernel tree