Es gibt von Intel ein Tool, womit man die DSDT auf Fehler prüfen kann, mein R51 weist keinen Fehler auf, keine Warnings und 2460 Optimierungen :D :D
Da T4x den gleichen BIOS haben, ist das auch für euch ein Grund zur Freude!
Zum Vergleich, das Maxdata meines Bruders hat 19 Fehler, 2...