m68k: use mmu timex.h for non-mmu setups as well