[Linaro-mm-sig] [PATCH 00/12] misc/syncobj: add /dev/syncobj device