[coreboot] coreboot release 4.15 reminder