[coreboot-gerrit] Patch merged into coreboot/master: a6b6172 Add aliases for Chromebooks in board_info