[coreboot] Re: t420s USB 3.0 port