15.1.42 pxe_default_server

See Booting GRUB from the network.