kernelspace: domain monitor keeps track of running domains in a Map

Signed-off-by: David Scott <dave.scott@citrix.com>