I found a way (a workaround?).
Edit the linux line in grub, by adding rw rb.break
Press Enter for maintenance. In the shell edit the /sysroot/etc/sysconfig/network-scripts/ifcfg-eth0 file in the usual way:
BOOTPROTO="none"
IPADDR=2.3.4.1
NETMASK=
GATEWAY=
...
and so on.
Then reboot.