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