genode/os/src/server/nic_loopback/target.mk