eal/armv8: force inlining of timer API