[coreboot] coreboot release 4.8 - Targeting May 15.