there are plenty of vendors providing builds of OpenJDK. I am not sure how are they different from one another and what distinguishing features they could provide. Wishing for a comparison matrix!
I do not know why microsoft dupplicates this effort.
Why do you say they are duplicating efforts?
The builds on the RedHat page are for: x86 (32-bit), x64 (64-bit x86) but any mention of aarch64, which is what Microsoft has been working on with Azul Systems, is conspicuously missing.
(aarch64 or ARM64 is the 64-bit extension of the ARM architecture.)