- RC7500 machine dependant code. This contains the RC7500 specific initialisation code that used to be in arm32/machdep.c