kernel: include: Fix warning when !CONFIG_SYS_CLOCK_EXISTS

When the kernel is compiled with !CONFIG_SYS_CLOCK_EXISTS we get the
warning:

 cast to pointer from integer of different size [-Wint-to-pointer-cast]

Fix this avoiding the (void *) cast.

Signed-off-by: Carlo Caione <ccaione@baylibre.com>