the time() implementation now uses sys_clock_gettime(), change that in the docs. Signed-off-by: Fin Maaß <f.maass@vogl-electronic.com>