[coreboot-gerrit] Patch set updated for coreboot: 631d96e Remove CDIT table and DMI table of AMD f15tn and f16kb boards