litmus: Fix build error (implicit declaration of read_current_timer()) on ARM

Signed-off-by: Roy Spliet <rspliet@mpi-sws.org>