Patches for dasein-cloud-core