[coreboot] Unable to power up db800 with coreboot