[coreboot] DUET ≠ CorebootPkg (was: Require help to boot coreboot with seabios' s floppy mechanism)