[coreboot-gerrit] Patch merged into coreboot/master: 26de112 build system: also use ramstage CPPFLAGS for ACPI