genode/repos/dde_linux/lib/mk/xhci.inc