Get tinibios clock timer interface working on ds400