updating pxe.pp to support correct debian distros