Re: [coreboot] Interesting device enumeration problem