I3C_PID_RND_LOWER_32BITS
rndpid = I3C_PID_RND_LOWER_32BITS(devinfo.pid);
I3C_PID_RND_LOWER_32BITS(boardinfo->pid))
if (I3C_PID_RND_LOWER_32BITS(devinfo.pid))