ARM: kernel: fix system_time() when being called too early.