ebd9aea1f27e ("arm64: head: drop idmap_ptrs_per_pgd")
e8d13cced5c5 ("arm64: head: move assignment of idmap_t0sz to C code")