Re: [U-Boot] [PATCH v2 24/30] x86: ivybridge: Set up XHCI USB