Re: [coreboot] XHCI device disconnect on S3 standby