[coreboot-gerrit] Change in coreboot[master]: Doc/releases: Fix coreboot 4.15 release notes