[coreboot] Re: x11ssm-f usb3.0 boot issues