Add debian/patches/11_dhcphostname.patch