4174 Torch the old and unmaintained Sun-dhcp (fix manifest)