[coreboot-gerrit] Patch set updated for coreboot: dad25d7 cpu/intel/socket_atom_d5xx: Add Intel Atom D5xx cpu