K 10
svn:author
V 8
jhibbits
K 8
svn:date
V 27
2017-11-03T03:13:15.391853Z
K 7
svn:log
V 203
Fix integer type and format in debug print

gcc complains "cast to pointer from integer of different size".  phandle_t is
*always* a uint32_t, so treat it as such, not as a pointer.  Fixes 64-bit build.

END