Re: [coreboot] v2: is this a bug ? (in device_util.c)