[tiva c] use platform.get_system_clock() method instead of directly calling API function as TM4C1294 doesn't support it