kernel: fix compilation for platforms without GENERIC_TIME