Fixed a bug when we are generating the systick handler.  We were still
calling the eChronos default handler, causing a duplicate handler in the
prx file.
MWW: added support for native smaccm_get_time_in_ms() when
we are generating the scheduler.