review.coreboot.org / coreboot / f2cc52b694d610ffc4f1edc347bf38caec2e31b6 / src / mainboard / intel / dcp847ske / acpi / ec.asl