fix: quote integer kconfig values for kraft compatibility

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

Author: danbugs

examples/python-agent-driver/kraft.yaml

@@ -9,7 +9,7 @@ unikraft:
     CONFIG_PAGING: 'n'
     CONFIG_LIBUKVMEM: 'n'
     CONFIG_LIBUKINTCTLR_HYPERLIGHT: 'y'
-    CONFIG_HYPERLIGHT_MAX_GUEST_LOG_LEVEL: 4
+    CONFIG_HYPERLIGHT_MAX_GUEST_LOG_LEVEL: '4'
     CONFIG_LIBSYSCALL_SHIM_STRACE: 'n'
 
     CONFIG_LIBUKPRINT_KLVL_CRIT: 'y'
@@ -82,7 +82,7 @@ unikraft:
 
     CONFIG_LIBPOSIX_FDTAB_MULTITAB: 'n'
 
-    CONFIG_STACK_SIZE_PAGE_ORDER: 10
+    CONFIG_STACK_SIZE_PAGE_ORDER: '10'
 
 libraries:
   app-elfloader: