Genode affinity, multi-core separation and service encapsulation (core inferences)