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