[coreboot] [coreboot - Bug #443] (Resolved) acpica distfile changed