[PATCH libdrm 0/3] some -pro patches for integration