We don't currently support normalization of kernel addresses, but we should.
We don't currently support normalization of kernel addresses, but we should.