Rob Browning <rlb@defaultvalue.org> writes: > If I get a chance and figure out how, I can try to build a local kernel > with that option and test it, or I could fairly quickly test any version > uploaded somewhere like experimental. I have done this, and verified that the USB ports work if CONFIG_PCIE_BRCMSTB is enabled. See https://bugs.debian.org/960129 Bjørn