[PATCH] ARM: Move PGD kernel page table initialisation