[PATCH 1/1] vkd3d: Cast DWORD flags to uint32_t in debug traces.