SEL32: Change code to correctly detect interrupt level for RT clock.
SEL32: Add debug support for interval timer and RT clock.
SEL32: Change auto diag command file to not run unsupport device diags.
SEL32: Fix sel32_clk.c coding error in interval timer code.
SEL32: Update to latest makecode.c utility and add makefile.
SEL32: Update diag.ini file to show how to set boot regs and CSW values.