xen/mmu: Provide comments describing the _ka and _va aliasing issue