genode/os/lib/mk/linux/timer.mk