[coreboot-gerrit] Patch merged into coreboot/master: cbf17d9 rush: Add cpu devices to devicetree