review.coreboot.org / coreboot / 7e28c846c3dfea730202d858682bec4dc46de1d7 / src / mainboard / hp / elitebook_820_g2 / dsdt.asl