[PATCH libdrm] add libsync.h helper