Version 5 changes:
1. Correct spelling and indentation errors[1].
2. Update init_mm.pgd by assembly[2].
3. Simplify set_p?d() by introducing set_swapper_pgd()[3].
4. Reduce unnecessary tlbi for every write to swapper_pg_dir
during paging_init()[3].
For the series:
Reviewed-by: James Morse <james.morse@xxxxxxx>