score: Add missing define to cache manager
rtems: Inline rtems_clock_get_ticks_since_boot()

Update documentation.