Fix obj->dev_cookie format string for 64-bit
Fix obj->dev_cookie format string for 64-bit

cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond