[coreboot] Has the Seabios git server address changed

[Bao, Zheng]

Hi, All,
Since we can only access the code tree via a firewall, I need to give
the IP address I need to access  to the administrator. But the seabios
git server just seems to have changed, hasn't it? Actually I am pretty
sure it has and I can resolve the IP address. What I am wondering is
whether it is also a temp address or a long term one. No chance it will
be changed back, right?

Thanks.

Zheng