ARMv7-A:  Separate CONFIG_PAGING start-up logic into a different startup file.  Too much conditional compilation.