Register time syscall only if it is provided

Raspberry Pi and BeagleBone Black, and possibly other similar boards, don't have a clock.

Fixes #525