Isso Pernacabeluda, os dois funcionam.
sim, so o Branch do Andy tem DropDMAR quem usa o trunk pode usar dart=0.
Sim, no caso do clover, isso deve funcionar estou usando dart=0 e tudo funciona bem.
edit:
<key>ACPI</key>
<dict>
<key>DropTables</key>
<array>
<dict>
<key>Signature</key>
<string>DMAR</string>
</dict>
</array>
</dict>
Funcionando!!