[coreboot] Patch merged into coreboot/master: f72ad02 graysreef: update platform information