Re: [coreboot] core boot & ehci debug