genode/os/lib/mk/hw_vea9x4/timer.mk