device_setprop_uint32
__strong_alias(device_setprop_uint,device_setprop_uint32);
bool device_setprop_uint32(device_t, const char *, uint32_t);