[PATCH 1/3] vc4: Add the DRM header file.