15.1.41 pxe_default_gateway

See Booting GRUB from the network.