inteltool: added more device IDs
[coreboot.git] / util / acpi /
2010-12-04 Stefan ReinauerACPI table dumping wrapper script