[coreboot] Patch merged into coreboot/master: ce8410e ASUS M5A88-V: Kconfig: Fix mainboard model name