altos: Create a 32-bit 1MHz timer for use in profiling execution