RDMA/rxe: use %u to print u32 variables