Re: [coreboot] USB EHCI power management