[Question] Use mr25h40 in a custom DSDT ACPI table