os.c: fixed the global timer. now set to 10ms interrupt interval