This is all conditional on Oracle actually giving others a proprietary license like Azul received. Oracle can say no, and in this case they might actually have

This is all conditional on Oracle actually giving others a proprietary license like Azul received. Oracle can say no, and in this case they might actually have given that it's ARM and not some proprietary chip that only Azul makes and sells AFAIK. There are no such conditions if you want to port the GPL code.