cpu_install_ttbr0
cpu_install_ttbr0(trans_ttbr0, t0sz);
cpu_install_ttbr0(kimage->arch.ttbr0, kimage->arch.t0sz);