dom0/core: minor comments improvements
dom0/core: minor comments improvements

QubesOS/qubes-core-admin,woju/qubes-core-admin,woju/qubes-core-admin,woju/qubes-core-admin,marmarek/qubes-core-admin,QubesOS/qubes-core-admin,woju/qubes-core-admin,marmarek/qubes-core-admin,marmarek/qubes-core-admin,QubesOS/qubes-core-admin