[coreboot] FYI: latest ACPICA acpidump is broken