As I said above, you're not adding any data. You're losing some by going from 4k to HD, and you don't get it back. So why go back to the bigger size?
In a similar vein, if a major part of your production is still at the lower resolution, why is anything else bigger than that? The lowest common denominator tends to win here, unless you're okay with the quality varying throughout your final product.
If you want to stay in 4k, is there an updated version of the green screen gear that does the same thing in 4k?