review.coreboot.org / coreboot / 90857b7381d6fcccc9a03757f2b22de64baf0785 / src / mainboard / asrock / z87e-itx / acpi / platform.asl