Symbol: kernel_add_identity_map