Update portal.eclips.is ip address

We hardcoded the ip address of portal.eclips.is in the initrd (because we couldn't get resolving working in the limited environment). The address has changed at some point, so it needs to be updated.