Re: [coreboot] USB2.0 extension card problems