Meh, I don't know. This seems a pretty niche usage. You'll need a specific USB-C dock to power such a laptop anyway, so why not go the route of the Apple thunderbolt displays, with a dedicated power connector run through the same sleeve as the data one.

In practice, I find the loss of convenience compared to USB-C negligible. You still only have one cable hanging around.

Plus, as those are PCs, said connector wouldn't even need to be something specific, I suppose a random (big enough) DC barrel plug would do and be compatible with different manufacturers' products.