ARM: asm: use working timex.h