[coreboot-gerrit] Change in coreboot[master]: mb/hp/snb_ivb_laptops: Switch to overridetree setup