[coreboot] USB2.0 extension card problems