[coreboot-gerrit] Change in coreboot[master]: mb/hp/snb_ivb_laptops: Rename `BOARD_HP_SNB_IVB_LAPTOPS`