[PATCH] freepgt: remove arch pgd_addr_end