This message is for Manuel mainly. But maybe some of you will like the
idea. It would be nice to be able to add to the DHCP server config a
nextserver and filename option. To enable PXE booting on another server.