[coreboot] [PATCH] Various PIRQ/MPTABLE/ACPI Kconfig fixes