[coreboot] About the USB issue on the Lenovo T420 port