Several fixes:
DSDT patches
MaciASL build 546cc38
VoodooPS2Controller build e47d783