Re: [coreboot] Device mapping problem