He's talking about the gfxboot help texts. There's indeed no nameserver option described there. Those help texts in general would deserve some update.