Fix the type-cast between UINT32 & UINTN