The very high DCR pickup readings (e.g 16.7k) are normally because they've used thinner gauge wire in order to add more turns (for a hotter output) in the space available on the bobbin. As thinner wire is more resistive, that puts the DCR up, and then extra turns are added, which puts it up even more. So they are certainly hotter than the standard, but not quite as comparatively hot as the figures may suggest.

If you are sticking with the kit mini-humbuckers, then I'd use the yellow one on the bridge and red on the neck - providing there was enough cable length to do so.

Remember that it's easy enough to swap out the pickups and pots after the kit is built, so you may want to assemble it first to make sure it plays well enough to be worth spending more money on.