[coreboot] dbe61 patch