Adopt to new configuration variable name scheme of Unikraft
Adopts to the new configuration variable name scheme introduced
with latest Unikraft build system (see patch
de27b01: "build:
add prefix CONFIG_ to every kconfig symbol")
Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>