Hello!
I've encountered this issue and tested similar solution (patch). It builds successfully. It even allows openjdk@10 to build as well - mine has same build errors as for openjdk@9.
But, on the other hand, it is not sufficient for building jdk@9 itself - please, take a look at
https://issues.guix.gnu.org/issue/63069.
--
Best regards,
Anthony