kernel-engine: Register each address once