15.1.37 net_default_server

See Booting GRUB from the network.