Re: [coreboot] Unable to power up db800 with coreboot