ARM: idmap: use idmap_pgd when setting up mm for reboot