[coreboot] Any DUET experts here?