genode/repos/os/lib/mk/nic_driver.mk