* armos.c (ARMul_OSHandleSWI): Handle the RedBoot system