Update all map_section() function calls to map I/O sections as non-cacheable.
- RC7500 machine dependant code. This contains the RC7500 specific initialisation code that used to be in arm32/machdep.c