The following arm_reset()
code is not valid for the mc1322x so it should be moved or guarded
__attribute__((naked, noreturn)) void arm_reset(void)
{
dINT();
WDTC = 0x00FFF;
WDMOD = 0x03;
WDFEED = 0xAA;
WDFEED = 0x55;
while (1);
}