[coreboot] Discussion about fixing dead code / ACPI TRAP