genode/repos/dde_linux/lib/mk/armv7/usb.inc