[coreboot] Patch merged into coreboot/master: 0f4c0e2 src/arch/x86/boot/acpigen.c: Small coding style and comment fixes