Re: [coreboot] [PATCH] Fix USB EHCI Debug Device for Intel ICH