[RFC PATCH 1/6] ARM, TCM: initialize TCM in paging_init(), instead of setup_arch()