kraft.yaml: switch to unikraft/unikraft plat-hyperlight (hostsock merged upstream)

Signed-off-by: danbugs <danilochiarlone@gmail.com>

Author: danbugs

examples/networking-py/kraft.yaml

@@ -2,8 +2,8 @@ specification: '0.6'
 name: networking-py-hyperlight
 
 unikraft:
-  source: https://github.com/danbugs/unikraft.git
-  version: networking
+  source: https://github.com/unikraft/unikraft.git
+  version: plat-hyperlight
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'

examples/python-agent-driver/kraft.yaml

@@ -2,8 +2,8 @@ specification: '0.6'
 name: python-agent-driver-hyperlight
 
 unikraft:
-  source: https://github.com/danbugs/unikraft.git
-  version: networking
+  source: https://github.com/unikraft/unikraft.git
+  version: plat-hyperlight
   kconfig:
     CONFIG_PLAT_HYPERLIGHT: 'y'
     CONFIG_PAGING: 'n'