[coreboot-gerrit] Patch merged into coreboot/master: 8f24480 arch/x86/acpi/globutil.asl: Make control method `S2BF` serialized