[PATCH 4/4] vkd3d: Use vkd3d_atomic_decrement_u32() in d3d12_device_Release().