[coreboot] usb3/xhci issues with coreboot on Thinkpad x230