15.1.35 net_default_ip

See Booting GRUB from the network.