[coreboot] Patch set updated for coreboot: 85a0ae3 src/arch/x86/boot/acpigen.c: Small coding style and comment fixes