[Bug 533555] Custom DSDT not being loaded