Re: [coreboot] visualizing the coreboot device tree