forked from Imagelibrary/rtems
* shared/milkymist_timer/timer.c, shared/timer/timer.c: Include <rtems/btimer.h>. Fix benchmark_timer_read() definition.
* shared/milkymist_timer/timer.c, shared/timer/timer.c: Include <rtems/btimer.h>. Fix benchmark_timer_read() definition.