Remove debug code relating to ARMFPE userret counting.
- Separated the RiscPC specific boot/initialisation code from arm32/machdep.